<html>
This intention converts selected integer literal into  <b>decimal</b>  notation.
</html>
